- proof from assumption
- доказательство с помощью допущения
Англо-русский словарь по исследованиям и ноу-хау. Е.Г. Коваленк. 2015.
proof from assumption
Смотреть что такое "proof from assumption" в других словарях:
Assumption College, Thailand — Assumption College (Thai: โรงเรียนอัสสัมชัญ) is a private catholic school in Bangkok, Thailand. Assumption College was established in 1885 by Father Amil Colombet, the missionary priest from France who came to Thailand to introduce Christian… … Wikipedia
Assumption — As*sump tion (?; 215), n. [OE. assumpcioun a taking up into heaven, L. assumptio a taking, fr. assumere: cf. F. assomption. See {Assume}.] 1. The act of assuming, or taking to or upon one s self; the act of taking up or adopting. [1913 Webster]… … The Collaborative International Dictionary of English
Proof sketch for Gödel's first incompleteness theorem — This article gives a sketch of a proof of Gödel s first incompleteness theorem. This theorem applies to any formal theory that satisfies certain technical hypotheses which are discussed as needed during the sketch. We will assume for the… … Wikipedia
Proof that π is irrational — Although the mathematical constant known as pi; (pi) has been studied since ancient times, and so has the concept of irrational number, it was not until the 18th century that π was proved to be irrational.In the 20th century, proofs were found… … Wikipedia
assumption — noun /əˈsʌmp.ʃən/ a) The act of assuming, or taking to or upon ones self; the act of taking up or adopting. His assumption of secretarial duties was timely. b) The act of taking for granted, or supposing a thing without proof; a supposition; an… … Wiktionary
Mathematical proof — In mathematics, a proof is a convincing demonstration (within the accepted standards of the field) that some mathematical statement is necessarily true.[1][2] Proofs are obtained from deductive reasoning, rather than from inductive or empirical… … Wikipedia
Turing's proof — First published in January 1937 with the title On Computable Numbers, With an Application to the Entscheidungsproblem , Turing s proof was the second proof of the assertion (Alonzo Church proof was first) that some questions are undecidable :… … Wikipedia
Legal burden of proof — This article is about the burden of proof in law. For other uses, see Burden of proof (disambiguation). The burden of proof (Latin: onus probandi) is the obligation to shift the accepted conclusion away from an oppositional opinion to one s own… … Wikipedia
Invalid proof — In mathematics, there are a variety of spurious proofs of obvious contradictions. Although the proofs are flawed, the errors, usually by design, are comparatively subtle. These fallacies are normally regarded as mere curiosities, but can be used… … Wikipedia
Gödel's ontological proof — is a formalization of Saint Anselm s ontological argument for God s existence by the mathematician Kurt Gödel.St. Anselm s ontological argument, in its most succinct form, is as follows: God, by definition, is that than which a greater cannot be… … Wikipedia
Non-interactive zero-knowledge proof — Non interactive zero knowledge proofs are a variant of zero knowledge proofs. Blum, Feldman, and Micali [1] showed that a common reference string shared between the prover and the verifier is enough to achieve computational zero knowledge without … Wikipedia
